Data-flow analysis - PDFSEARCH.IO - Document Search Engine

Data-flow analysis
Results: 379

#	Item
341	Eco Analysis Corporation CHUBU Service Center President Masayuki TAKAI No. E-1 Add to Reading List Source URL: www.chubu.meti.go.jp Language: English - Date: 2013-04-08 01:32:08 Environmental law Impact assessment Measurement Environmental impact assessment Sustainable development Water quality Environmental monitoring Data logger Flow measurement Environment Earth Environmental economics
342	NIFTY: A System for Large Scale Information Flow Tracking and Clustering Caroline Suen∗, Sandy Huang∗, Chantat Eksombatchai∗, Rok Sosiˇc, Jure Leskovec Stanford University {csuen, shhuang, chantat, rok, jure}@cs. Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2013-03-17 19:29:26 Data mining Cluster analysis Data analysis Geostatistics Meme Graph partition Line graph Consensus clustering Graph theory Statistics Theoretical computer science
343	Wo r k i n g Pa p e r S e r i e S NO[removed]j u ly 2013 Now-casting and the real-time data flow Marta Bańbura, Domenico Giannone, Add to Reading List Source URL: www.ecb.europa.eu Language: English - Date: 2013-07-09 09:47:16 Macroeconomics Macroeconomic model Economic model Mathematical model Gross domestic product Forecasting Regression analysis Economic data Nowcasting Statistics Econometrics Economics
344	LNCS[removed]Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Creativity Problem solving Thought Function Data-flow analysis Algorithm Type system Predicate Mathematics Linguistics Abstraction
345	LNCS[removed]Explicit-State Software Model Checking Based on CEGAR and Interpolation Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data types Type theory Function Data-flow analysis Variable Algorithm Model checking Abstraction Programming language Mathematics Software engineering Computing
346	EVOLVING FOR CONTINUED SUCCESS 2013 ANNUAL REPORT 5-YEAR FINANCIAL HIGHLIGHTS SUMMARY FINANCIAL DATA Add to Reading List Source URL: actuant.com Language: English - Date: 2014-05-18 01:26:18 Fundamental analysis Actuant Economic growth Wells Fargo Free cash flow Earnings before interest taxes depreciation and amortization Economics Finance Financial economics
347	To appear in INFOCOM’98 TCP Fast Recovery Strategies: Analysis and Improvements Dong Lin and H.T. Kung Division of Engineering and Applied Sciences Harvard University Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 1998-02-11 18:37:41 Information TCP/IP Flow control TCP congestion avoidance algorithm Data transmission Transmission Control Protocol Packet loss Slow-start Network congestion Network performance Data Computing
348	Joint Distribution of Internet Flow Sizes and Durations Add to Reading List Source URL: www.samsi.info Language: English - Date: 2014-02-10 15:51:31 Intelligence analysis Military terminology Strategy United States Air Force OODA loop Principal component analysis Object-oriented design Object-oriented programming 4 Algebra Mathematics Data analysis
349	Flow Graphs for Testing Sequential Erlang Programs Manfred Widera Fachbereich Informatik, FernUniversitt Hagen D[removed]Hagen, Germany [removed] Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-14 07:15:09 Compiler construction Network flow Pattern matching Control flow Static single assignment form Erlang Flow network Data-flow analysis Continuation-passing style Graph theory Software engineering Computing
350	Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, and Petey Aldous University of Utah Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 14:11:52 Smartphones Embedded Linux Formal languages Malware Model theory Dalvik Pointer analysis Data-flow analysis String Computing Software Android

UPDATE